Discrete abstractions of continuous and hybrid systems have recently been thetopic of great interest from both the control systems and the computer sciencecommunities, because they provide a sound mathematical framework for analysingand controlling embedded systems. In this paper we give a further contributionto this research line, by addressing the problem of symbolic control design ofnonlinear systems with infinite states specifications, modelled by differentialequations. We first derive the symbolic controller solving the control designproblem, given in terms of discrete abstractions of the plant and thespecification systems. We then present an algorithm which integrates theconstruction of the discrete abstractions with the design of the symboliccontroller. Space and time complexity analysis of the proposed algorithm isperformed and a comparison with traditional approaches currently available inthe literature for symbolic control design, is discussed. Some examples areincluded, which show the interest and applicability of our results.
展开▼